Merge branch 'cleanup-profiler-marks' into 'master'
authorMatthias Clasen <mclasen@redhat.com>
Wed, 12 Feb 2020 14:31:40 +0000 (14:31 +0000)
committerMatthias Clasen <mclasen@redhat.com>
Wed, 12 Feb 2020 14:31:40 +0000 (14:31 +0000)
Cleanup profiler marks

See merge request GNOME/gtk!1417


Trivial merge